FISSC: A Fault Injection and Simulation Secure Collection
نویسندگان
چکیده
Session Chair 8:30-8:45 REGISTRATION 8:45-9:00 WELCOME NOTE Skavhaug Amund 9:00-10:00 INVITED TALK 1: Manuel Oriol (ABB), Transfering R to D: Going the Extra Mile Guiochet Jeremie SESSION 1 : FAULT INJECTION Troubitsyna Elena 10:00-10:30 9 FISSC: a Fault Injection and Simulation Secure Collection Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen and Philippe de Choudens 10:30-11:00 28 FIDL: A Fault Injection Description Language for Compiler-based SFI Tools Maryam Raiyat Aliabadi and Karthik Pattabiraman 11:00-11:30 Coffee break SESSION 2 : SAFETY ASSURANCE Gallina Barbara 11:30-12:00 48 Using Process Models in System Assurance Richard Hawkins, Thomas Richardson and Tim Kelly 12:00-12:30 56 The Indispensable Role Of Rationale In Safety Standards John Knight and Jonathan Rowanhill 12:30-13:00 73 Composition of Safety Argument Patterns Ewen Denney and Ganesh Pai 13:00-14:00 LUNCH BREAK SESSION 3 : FORMAL VERIFICATION Waeselynck Helene 14:00-14:30 5 Formal Analysis of Security Properties on the OPC-UA SCADA Protocol Maxime Puys, Marie-Laure Potet and Pascal Lafourcade 14:30-15:00 10 A dedicated algorithm for verification of interlocking systems Quentin Cappart and Pierre Schaus 15:00-15:30 47 Catalogue of System and Software Properties Victor Bos, Harold Bruintjes and Stefano Tonetta 15:30-16:00 72 A High-Assurance, High-Performance Hardware-Based Cross-Domain System David Hardin, Konrad Slind, Mark Bortz, James Potts and Scott Owens SESSION 4 : Fast Abstracts 60'' Guiochet Jeremie 16:00-17 :00 Fast abstracts to be announced / Coffee break 17:00:17:30 18:00-20:30 Social Events
منابع مشابه
Multi-level Aes Design Security: from Systemc-tlm to Fpga
Advanced Encryption Standard (AES) cryptographic system are widely used in embedded systems to secure secret information. One of the most powerful cryptanalysis techniques against the cryptographic systems is the fault injection attacks. The complexity of cryptographic systems is increasing which requires fast security attacks simulation against fault injection attacks. The multi-level Electron...
متن کاملClock Glitch Fault Injection Attacks on an FPGA AES Implementation
The Advanced Encryption Standard (AES) algorithm has been widely used to secure communication systems. However, the encryption algorithm is vulnerable to fault injection attacks and various attack methods have been studied. Some methods are just proposed in theory and have not been validated in practice. In this paper, we actualize a fault injection attack on an FPGA AES implementation. We prop...
متن کاملScalable and Secure Data Collection: Fault Tolerance Considerations
Data collection, or uploading, is an inherent part of numerous digital government applications. In this poster we present our recent research directions in the development of Bistro, a scalable and secure architecture designed for collection of data over the Internet for digital government applications.
متن کاملUsing Sliding Mode Controller and Eligibility Traces for Controlling the Blood Glucose in Diabetic Patients at the Presence of Fault
Some people suffering from diabetes use insulin injection pumps to control the blood glucose level. Sometimes, the fault may occur in the sensor or actuator of these pumps. The main objective of this paper is controlling the blood glucose level at the desired level and fault-tolerant control of these injection pumps. To this end, the eligibility traces algorithm is combined with the sliding mod...
متن کاملNew Error Detecting Codes for the Design of Hardware Resistant to Strong Fault Injection Attacks
Cryptographic devices suffer from fault injection attacks. The security of crypto-systems protected by traditional error detecting codes rely on the assumption that the information bits and the error patterns are not both controllable by the attacker. For applications where the assumption is not valid, the security of systems protected by traditional error detecting codes can be easily compromi...
متن کامل